Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
141	Pre-Analysis Plans are not the Solution Replications Might Be October 23, 2014 Lucas C. Coffman Ohio State University Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-11-24 23:07:57 Hypothesis testing Design of experiments Statistical inference Research methods Biostatistics Publication bias Statistical hypothesis testing Type I and type II errors P-value Statistics Science Knowledge
142	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-05-30 15:56:06 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis
143	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
144	Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-01 19:06:12 Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering
145	A Framework of Adaptive T-S type Rough-Fuzzy Inference Systems (ARFIS) Chang Su Lee B.S. Electronic Engineering Add to Reading List Source URL: robotics.ee.uwa.edu.au Language: English - Date: 2009-07-21 00:22:11 Fuzzy control system Genetic fuzzy systems Rough set Fuzzy set Membership function Inference Type-2 fuzzy sets and systems Neuro-fuzzy Logic Fuzzy logic Mathematical logic
146	Estimation Preliminary: the Normal distribution Many statistical methods are only valid if we can assume that our data follow a distribution of a particular type, called the Normal distribution. Many naturally occurring Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2009-01-19 11:14:13 Statistical inference Statistical theory Sampling Standard error Confidence interval Normal distribution Standard deviation Variance Sample size determination Statistics Data analysis Measurement
147	Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-03-26 13:07:27 Data types Null Pointer Assertion Constructor Type system C Software bug Statistical hypothesis testing Software engineering Computer programming Computing
148	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:32 Mathematics Proof theory Lambda calculus Type theory Natural deduction Symbol Entailment System F Curry–Howard correspondence Logic Mathematical logic Deduction
149	Programming as collaborative reference (full presentation) Oleg Kiselyov and Chung-chieh Shan We argue that programming-language theory should face the pragmatic fact that humans develop software by interacting with comp Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-02 23:14:00 Computer programming Data types Programming paradigms Notation Programming language Type system Type inference Type safety Logic programming Software engineering Type theory Computing

UPDATE